Spotlight on State Lawmaking

Constitutional Constraints on Executive Lawmaking

What determines the success by which heads of government can enact their legislative proposals? Presumably, constitutional rules governing the relationship between executives and legislatures should be part of the answer. We suggest that in order to understand an executive’s leverage in legislative bargaining, one must consider a broad set of formal powers, even those that are not directly rela...

A Spotlight on Spotlight

In this paper, we have made an attempt to take a look under the hood of Spotlight and understand some of the following questions amongst others: • How well-integrated is Spotlight with the file system? • How reliable is the interface between Spotlight and the file system? • Is live update a myth or a reality under heavy file system activity? Based on our experiments, it seems that Spotlight is ...

Assessing the Adequacy of State Products Liability Lawmaking

Lawmaking 2.0

A crowdsourcing idea campaign aiming at evaluating and editing a draft for the new Law on Education was run in Russia in May August 2010. We developed an original crowdsourcing platform and organized collaboration of more than 500 participants. 95 original versions of the Law items were created. 23 of them were approved by the community and graduated. The mechanism proved to be effective as a t...

The Spotlight Principle ? On Combining Process - Summarizing State Abstractions

Formal verification of safety and liveness properties of systems with a dynamically changing, unbounded number of interlinked processes and infinite-domain local data is challenging due to the two sources of infiniteness. The existing state abstraction-based approaches Data Type Reduction and Environment Abstraction each address one aspect, but the former doesn’t support infinite-domain local d...